def where() -> str: ...
def contents() -> str: ...
